The Vaught Conjecture: Do Uncountable Models Count?
نویسندگان
چکیده
منابع مشابه
The Vaught Conjecture: Do Uncountable Models Count?
We give a model theoretic proof, replacing admisssible set theory by the LopezEscobar theorem, of Makkai’s theorem: Every counterexample to Vaught’s conjecture has an uncountable model which realizes only countably many Lω1,ω-types. The following two results are new. Theorem I. If a first order theory is a counterexample to the Vaught conjecture then it has 2א1 models of cardinality א1. Theorem...
متن کامل5 Counterexamples to Vaught ’ s Conjecture
A sentence σ ∈ L ω1,ω is a counterexample to Vaught's Conjecture, or simply a counterexample, if ℵ 0 < I(σ, ℵ 0) < 2 ℵ0 , i.e., σ has uncountably many countable models but fewer than continuum many models. Fix σ a counterexample. A key fact about counterexamples is that there are few types for any count-able fragment. Let F be a fragment. Let
متن کاملOn Models =.,, to an Uncountable Model
It is shown that a model is = «,« to an uncountable model provided there is an uncountable model of its complete theory with respect to some admissible fragment containing a copy of the given model. It has been known for some time that ThA(M), the set of all sentences of LA true of the structure M, need not characterize M in Lxa, even though A is admissible and M G A. In particular, if M is cou...
متن کاملDo all fragments count?
We aim at finding the minimal set of fragments which achieves maximal parse accuracy in Data Oriented Parsing (DOP). Experiments with the Penn Wall Street Journal (WSJ) treebank show that counts of almost arbitrary fragments within parse trees are important, leading to improved parse accuracy over previous models tested on this treebank. We isolate a number of dependency relations which previou...
متن کاملOn the Number of Automorphisms of Uncountable Models
Let σ(A) denote the number of automorphisms of a model A of power ω1 . We derive a necessary and sufficient condition in terms of trees for the existence of an A with ω1 < σ(A) < 2 ω1 . We study the sufficiency of some conditions for σ(A) = 21 . These conditions are analogous to conditions studied by D.Kueker in connection with countable models. The starting point of this paper was an attempt t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2007
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1172787546